Graph rewriting

Results: 134



#Item
31UML diagrams / Infographics / Theoretical computer science / Models of computation / Graph rewriting / State diagram / Activity diagram / Graph / Unified Modeling Language / Graph theory / Diagrams / Mathematics

On Scenario Synchronization Duc-Hanh Dang1 , Anh-Hoang Truong1 , and Martin Gogolla2 1 University of Engineering and Technology, Vietnam National University of Hanoi,

Add to Reading List

Source URL: www.db.informatik.uni-bremen.de

Language: English - Date: 2010-06-09 06:21:16
32Software / Graph rewriting / VIATRA / Formal methods / Logic in computer science / Object Constraint Language / Model transformation language / Kermeta / Formal verification / Unified Modeling Language / Systems engineering / Software engineering

VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

Add to Reading List

Source URL: www.db.informatik.uni-bremen.de

Language: English - Date: 2014-12-03 03:08:26
33Simulation / Applied mathematics / Bond graph / Graph rewriting / Graph theory / Mathematics

Rule Execution in Graph-Based Incremental Interactive Integration Tools Simon M. Becker, Sebastian Lohmann, and Bernhard Westfechtel Department of Computer Science III, RWTH Aachen University Ahornstraße 55, DAac

Add to Reading List

Source URL: www-i3.informatik.rwth-aachen.de

Language: English - Date: 2009-05-27 10:53:23
34Combinatorics / Integrator / Theoretical computer science / Mathematics / Graph rewriting / Graph theory

Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars Simon M. Becker and Bernhard Westfechtel Lehrstuhl f¨ur Informatik III, RWTH Aachen Ahornstraße 55, DAac

Add to Reading List

Source URL: www-i3.informatik.rwth-aachen.de

Language: English - Date: 2009-05-27 10:53:27
35Graph rewriting / Graph / Connectivity / Pseudoforest / Graph theory / Mathematics / Combinatorics

A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools

Add to Reading List

Source URL: www-i3.informatik.rwth-aachen.de

Language: English - Date: 2009-05-27 10:53:22
36Graph rewriting / Formal languages / Rewriting / Graph / Matching / Theoretical computer science / Mathematics / Graph theory

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Vincent Danos3 , Jérôme Feret4 , Walter Fontana5 , Russell Harmer1 , Jonathan Hayman4,2 , Jean Krivine1 , Chris Thompson-Walsh2 , and Glynn Winskel2 1

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2013-10-23 07:23:09
37Computational science / Graph theory / Visualization / Personalization / Ambient intelligence / Graph rewriting / User modeling / Computer music / University of Haifa / Information science / Science / Mathematics

HALF-YEAR ACADEMIC PROGRESS REPORT AprilSeptember 2012 This report marks the initiation of several new scientific activities at the Caesarea Edmond Benjamin de Rothschild Institute (CRI) at the University of Haif

Add to Reading List

Source URL: www.cri.haifa.ac.il

Language: English - Date: 2014-12-17 09:56:18
38Rooted graph / Graph operations / Matroid theory / Median graph / Path decomposition / Graph theory / Mathematics / Graph rewriting

ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs

Add to Reading List

Source URL: grace-center.jp

Language: English - Date: 2015-02-10 03:40:06
39Graph rewriting / Signed graph / Graph operations / Graph database / Graph theory / Mathematics / Theoretical computer science

Research Paper Progress in Informatics, No)

Add to Reading List

Source URL: www.biglab.org

Language: English - Date: 2013-05-10 04:50:43
40Rooted graph / Graph operations / Matroid theory / Median graph / Path decomposition / Graph theory / Mathematics / Graph rewriting

ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs

Add to Reading List

Source URL: www.biglab.org

Language: English - Date: 2011-01-08 13:03:57
UPDATE